(declare-fun b (Int Int) Bool)
(declare-fun b (Int) Bool)
(declare-fun va () Int)
(declare-fun var () Int)
(declare-fun r2 () (_ FloatingPoint 2 6))
(declare-fun r7 () Int)
(declare-fun a () Int)
(declare-fun r () (_ FloatingPoint 2 6))
(declare-fun ar () Int)
(declare-fun v () Int)
(assert (or (>= 0 (mod 1 r7)) (> va 0) (< 0 var)))
(assert (= ar 0))
(assert (and (b 0) (< 0 va) (= 0 v) (= r2 (fp.sqrt RTZ r)) (= 0 (/ 0 a)) (b 0 0) (> a 0)))
(check-sat)
